77 research outputs found

    Design correctness of digital systems

    Get PDF

    A knowledge-based approach to VLSI-design in an open CAD-environment

    Get PDF
    A knowledge-based approach is suggested to assist a designer in the increasingly complex task of generating VLSI-chips from abstract, high-level specifications of the system. The complexity of designing VLSI-circuits has reached a level where computer-based assistance has become indispensable. Not all of the design tasks allow for algorithmic solutions. AI technique can be used, in order to support the designer with computer-aided tools for tasks not suited for algorithmic approaches. The approach described in this paper is based upon the underlying characteristics of VLSI design processes in general, comprising all stages of the design. A universal model is presented, accompanied with a recording method for the acquisition of design knowledge - strategic and task-specific - in terms of the design actions involved and their effects on the design itself. This method is illustrated by a simple design example: the implementation of the logical EXOR-component. Finally suggestions are made for obtaining a universally usable architecture of a knowledge-based system for VLSI-design

    Optimum flux-detection in the absence of a priori knowledge about the signal

    Get PDF
    Detection systems based on photon counting have to discriminate between two types of fluctuations in the photon count: those resulting from statistical fluctuations (=noise) and those caused by changes in the radiance set by the source (=signal). In contrast with earlier studies on ways of discriminating noise from signal changes, no specific assumptions are made about the source. An optimal discrimination-method has been developed for a detector that has no prior information about the mean of the Poisson distribution that describes its input signal. Because the detector has no prior information at its disposal it has to assume an a priori probability for the mean in a unique and objective way and it has to estimate the actual mean using Bayes rule of inference. This new discrimination-method is discussed in the context of signal processing in the visual system, but is generally applicable in all systems where photon-noise is important

    Preclinical characterization and target validation of the antimalarial pantothenamide MMV693183

    Get PDF
    Drug resistance and a dire lack of transmission-blocking antimalarials hamper malaria elimination. Here, we present the pantothenamide MMV693183 as a first-in-class acetyl-CoA synthetase (AcAS) inhibitor to enter preclinical development. Our studies demonstrate attractive drug-like properties and in vivo efficacy in a humanized mouse model of Plasmodium falciparum infection. The compound shows single digit nanomolar in vitro activity against P. falciparum and P. vivax clinical isolates, and potently blocks P. falciparum transmission to Anopheles mosquitoes. Genetic and biochemical studies identify AcAS as the target of the MMV693183-derived antimetabolite, CoA-MMV693183. Pharmacokinetic-pharmacodynamic modelling predict that a single 30 mg oral dose is sufficient to cure a malaria infection in humans. Toxicology studies in rats indicate a > 30-fold safety margin in relation to the predicted human efficacious exposure. In conclusion, MMV693183 represents a promising candidate for further (pre)clinical development with a novel mode of action for treatment of malaria and blocking transmission

    Creation and preclinical evaluation of genetically attenuated malaria parasites arresting growth late in the liver.

    Get PDF
    Whole-sporozoite (WSp) malaria vaccines induce protective immune responses in animal malaria models and in humans. A recent clinical trial with a WSp vaccine comprising genetically attenuated parasites (GAP) which arrest growth early in the liver (PfSPZ-GA1), showed that GAPs can be safely administered to humans and immunogenicity is comparable to radiation-attenuated PfSPZ Vaccine. GAPs that arrest late in the liver stage (LA-GAP) have potential for increased potency as shown in rodent malaria models. Here we describe the generation of four putative P. falciparum LA-GAPs, generated by CRISPR/Cas9-mediated gene deletion. One out of four gene-deletion mutants produced sporozoites in sufficient numbers for further preclinical evaluation. This mutant, PfΔmei2, lacking the mei2-like RNA gene, showed late liver growth arrest in human liver-chimeric mice with human erythrocytes, absence of unwanted genetic alterations and sensitivity to antimalarial drugs. These features of PfΔmei2 make it a promising vaccine candidate, supporting further clinical evaluation. PfΔmei2 (GA2) has passed regulatory approval for safety and efficacy testing in humans based on the findings reported in this study

    Preclinical characterization and target validation of the antimalarial pantothenamide MMV693183.

    Get PDF
    Drug resistance and a dire lack of transmission-blocking antimalarials hamper malaria elimination. Here, we present the pantothenamide MMV693183 as a first-in-class acetyl-CoA synthetase (AcAS) inhibitor to enter preclinical development. Our studies demonstrate attractive drug-like properties and in vivo efficacy in a humanized mouse model of Plasmodium falciparum infection. The compound shows single digit nanomolar in vitro activity against P. falciparum and P. vivax clinical isolates, and potently blocks P. falciparum transmission to Anopheles mosquitoes. Genetic and biochemical studies identify AcAS as the target of the MMV693183-derived antimetabolite, CoA-MMV693183. Pharmacokinetic-pharmacodynamic modelling predict that a single 30 mg oral dose is sufficient to cure a malaria infection in humans. Toxicology studies in rats indicate a \u3e 30-fold safety margin in relation to the predicted human efficacious exposure. In conclusion, MMV693183 represents a promising candidate for further (pre)clinical development with a novel mode of action for treatment of malaria and blocking transmission

    Factors Associated with Work Participation and Work Functioning in Depressed Workers: A Systematic Review

    Get PDF
    Background Depression is associated with negative work outcomes such as reduced work participation (WP) (e.g., sick leave duration, work status) and work functioning (WF) (e.g., loss of productivity, work limitations). For the development of evidence-based interventions to improve these work outcomes, factors predicting WP and WF have to be identified. Methods This paper presents a systematic literature review of studies identifying factors associated with WP and WF of currently depressed workers. Results A total of 30 studies were found that addressed factors associated with WP (N = 19) or WF (N = 11). For both outcomes, studies reported most often on the relationship with disorder-related factors, whereas personal factors and work-related factors were less frequently addressed. For WP, the following relationships were supported: strong evidence was found for the association between a long duration of the depressive episode and work disability. Moderate evidence was found for the associations between more severe types of depressive disorder, presence of co-morbid mental or physical disorders, older age, a history of previous sick leave, and work disability. For WF, severe depressive symptoms were associated with work limitations, and clinical improvement was related to work productivity (moderate evidence). Due to the cross-sectional nature of about half of the studies, only few true prospective associations could be identified. Conclusion Our study identifies gaps in knowledge regarding factors predictive of WP and WF in depressed workers and can be used for the design of future research and evidence-based interventions. We recommend undertaking more longitudinal studies to identify modifiable factors predictive of WP and WF, especially work-related and personal factors
    • …
    corecore